Preservation of normality by transducers

نویسندگان

چکیده

We consider input deterministic finite state transducers with infinite inputs and outputs, we the property of Borel normality on words. When these are given by a strongly connected set states, when is normal sequence, output an word such that every has frequency weighted automaton over rationals. prove there algorithm decides in cubic time whether transducer preserves normality.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

This paper discusses the decidability of node query preservation problems for XML document transformations. We assume a transformation given by a deterministic linear top-down data tree transducer (abbreviated as DLTV ) and an n-ary query based on runs of a tree automaton. We say that a DLTV Tr strongly preserves a query Q if there is a query Q′ such that for every document t, the answer set of...

متن کامل

control of the optical properties of nanoparticles by laser fields

در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...

15 صفحه اول

Preservation of Recognizability for Weighted Linear Extended Top-Down Tree Transducers

An open question in [FÜLÖP, MALETTI, VOGLER: Weighted extended tree transducers. Fundamenta Informaticae 111(2), 2011] asks whether weighted linear extended tree transducers preserve recognizability in countably complete commutative semirings. In this contribution, the question is answered positively, which is achieved with a construction that utilizes inside weights. Due to the completeness of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Information & Computation

سال: 2022

ISSN: ['0890-5401', '1090-2651']

DOI: https://doi.org/10.1016/j.ic.2020.104650